COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00008 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CMay 30, 1975







Prof. E.P. Anderson, Chairman
Electrical Enginering Dept.
San Jose State University
San Jose, Calif


Dear Professor Anderson:

\JDr. Loomba suggested that I write directly to you concerning a part-time
or full-time faculty position this fall. I am enclosing a reasonably complete 
resume, the salient features of which are are strong background in teaching and
research and a very great interest in improving the quality of computer
science education. I taught Math280 spring semester at San Jose State and
teaching a seminar there this summer on the mathematical theory  of computation.
McGraw-Hill will be publishing a book of mine on foundations of computer
science and language design. Finally, I have a grant submitted to the NSF to begin
study and implementation of an interactive programming system. 

My current difficulties arise because of a delay on this  NSF grant. Though
it has received quite favorable response from the NSF hierarchy 
and informal reviewers, it will
be approximately six months before the grant is finalized. I would thus
be available full-time for the fall semester; and perhaps available
for a course in the spring.  

My background is oriented to software and theory. I spent many years as a 
mathematical and/or systems programmer; at GM Research Labs in Santa Barbara
I implemented LISP on the IBM7040 as an after-hours project; at Stanford
I was one of the main members in the design of the AI Lab's original
display-based time sharing system. The concepts we worked out are the
basis of much of the current SAIL system. I developed and maintained
the Stanford LISP system,
before turning to design an implementation
of theorem-provers and automatic programming systems. My graduate work
at Stanford is mostly in mathematical logic and recursion theory.

I taught for two years as Asst. Prof. at UCLA in the Computer Science
Dept, developing courses on data structures, translator writing, and
semantics of programming languages.  
UCLA was my first experience with an "organized" Computer Science Dept.
When I started in the field there were none, and at Stanford we made it
up as we went along.
It was  because of my discomfort
with the structure of Computer Science that I began writing the text
which McGraw-Hill will publish.

I have always enjoyed teaching and I feel my strong background in
both the theoretical aspects and the practical realities of
programming languages and systems is rather unique.

I have talked with Prof. Fuller of the mathematics department, and
he believes that he could cover me for one, or perhaps two, courses.
If your two departments could work out a join appointment I would
be most interested.

My records and letters of recommendation should be on file somewhere
in the bureaucracy, and I am asking Prof. Burke of mathematics
to send you a letter of recommendation as well.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L